derivation of reduction rules

归约规则的推导